فیلترها/جستجو در نتایج    

فیلترها

سال

بانک‌ها




گروه تخصصی











متن کامل


نویسندگان: 

SIRJANI M. | MOVAGHAR A.

نشریه: 

SCIENTIA IRANICA

اطلاعات دوره: 
  • سال: 

    2005
  • دوره: 

    12
  • شماره: 

    1
  • صفحات: 

    55-65
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    385
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

Rebeca is an actor-based language for modeling concurrent and distributed systems, Its Java-like syntax makes it easy-to-use for practitioners and its formal foundation is a basis to make different formal verification approaches applicable. Compositional verification and abstraction techniques are used in formal verification of Rebeca models to overcome state explosion problems, The main contribution of this paper is to show how model checking and deduction are integrated for verifying certain properties of these models. Deduction is used to prove that abstraction techniques preserve a set of behavioral specifications in temporal logic and is also used in applying the compositional verification approach, on the basis of the model checked components.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 385

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

PAN H. | LI Y.

اطلاعات دوره: 
  • سال: 

    2016
  • دوره: 

    612
  • شماره: 

    -
  • صفحات: 

    45-62
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    102
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 102

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    1384
  • دوره: 

    3
  • شماره: 

    3 (الف)
  • صفحات: 

    43-53
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    853
  • دانلود: 

    0
چکیده: 

در این مقاله ضمن توصیف کلی مساله درستی یابی ویژگی های سیستم ها و مساله وارسی الگو، منطق زمانی نقطه ثابت یا حساب Mu و نظریه عمومی خودکارهای بازگشتی مرتبه اول و همچنین روش های موجود در وارسی الگو در حساب Mu ارایه شده است. الگوریتمی جدید برای وارسی الگو وقتی ویژگی های سیستم در زیر نظریه ای از حساب Mu توصیف شوند با استفاده از ترجمه فرمول های حساب Mu به خودکارها ارایه می شود. مهمترین مزیت این الگوریتم نسبت به سایر الگوریتم های ارایه شده تا کنون آن است که پیچیدگی زمانی آن نسبت به اندازه مدل سیستم خطی است و قدرت توصیف زیر نظریه در نظر گرفته شده از سایر زیر نظریه هایی که دیگران در نظر گرفته اند بیشتر است.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 853

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
اطلاعات دوره: 
  • سال: 

    1402
  • دوره: 

    1
  • شماره: 

    4
  • صفحات: 

    244-257
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    94
  • دانلود: 

    46
چکیده: 

هدف پژوهش حاضر ارایه مدل برندسازی حسی با تاکید بر فین تک در راستای ارتقای حساب­ های جاری بانک سپه بوده است. این پژوهش به لحاظ هدف اکتشافی و از نظر شیوه جمع آوری داده ­ها توصیفی-پیمایشی بوده و با روش پژوهش آمیخته (کیفی-کمی) مورد تحلیل قرار گرفت. روش شناسی آمیخته مبتنی بر اصول پارادایمی پراگماتیسم است. به لحاظ رویکرد، استقرائی و استراتژی مورداستفاده در این پژوهش استراتژی داده بنیاد کلاسیک بوده است. یافته ­های بخش کیفی حاکی از این است که 10 مقوله اصلی، 22 مقوله فرعی و 69 کد اولیه شناسایی شدند. مقوله ­های اصلی شامل حفظ و نگهداشت مشتری، جذب مشتری، تکنیک حواس مشتری، بازاریابی حسی، درگیری عاطفی، فین تک، عوامل رقابتی، استراتژی­ های برندسازی حسی، جان بخشی برند، مزیت محصول و خدمات است. یافته های حاصل از بخش کمی نیز نشان داد که ابعاد به دست آمده در راستای تقویت و ارتقای حساب­های جاری بانک سپه تاثیر معنی­ داری دارند. از نظر نوآوری این تحقیق می ­توان گفت که برندسازی حسی دانش جوانی است که در حوزه مدیریت تجربه مشتریان شکوفا شده است. به طورکلی مطالعات اندکی درزمینه برندسازی حسی در کشور انجام شده است. در مطالعه حاضر کوشش بر آن است که گامی فراتر برداشته شود یعنی علاوه بر مفهوم سازی موضوع «برندسازی حسی» مدلی جامع و بومی مبتنی بر روش تحقیق علمی و با رویکردی اکتشافی ارایه شود.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 94

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 46 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    1402
  • دوره: 

    12
  • شماره: 

    1
  • صفحات: 

    12-29
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    66
  • دانلود: 

    1
چکیده: 

1در سال های اخیر، یکی از موضوعات مورد پژوهش در حوزه ی امنیت محاسبات برون سپاری شده، راستی آزمایی صحت اجرای محاسبات برون سپاری شده است. محاسبات برون سپاری شده، بر روی داده های دریافتی از یک یا چند منبع داده قابل اجرا می باشند. در حال حاضر روش های محدودی برای محاسبات برون سپاری شده با منابع داده توزیع شده ارایه شده اند.  راه حل های ارایه شده در این حوزه جهت راستی آزمایی صحت اجرای انواع توابع، توابع تجمعی، توابع خطی و توابع چند جمله ای در سه دسته اصلی محاسبات وارسی پذیر، احرازکننده های اصالت همریخت و روش های ارایه شده برای کاربرد خاص )نظیر پایگاه داده های برون سپاری شده، شبکه های حسگر بی سیم و سامانه های مدیریت جریان داده( قرار می گیرند. در این مقاله روش های مختلف ارایه شده برای راستی آزمایی صحت اجرای محاسبات و به طور دقیق تر روش های ارایه شده برای راستی آزمایی نتایج پرسمان های استفاده شده در سامانه های مدیریت جریان داده مرور و مقایسه شده اند.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 66

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

Valinataj M.

اطلاعات دوره: 
  • سال: 

    2021
  • دوره: 

    34
  • شماره: 

    2
  • صفحات: 

    433-442
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    38
  • دانلود: 

    0
چکیده: 

In this paper, an enhanced self-checking carry select adder (CSeA) architecture is introduced. However, we first show that the carry select adder design presented literature does not have the self-checking property in all of its parts in spite of the stated claim. Then, we present a corrected design with the self-checking property that requires more overheads. In addition, we reveal some mistakes in reporting the transistor count of the proposed design in the literature in different sizes, and correct them which again leads to more transistor count and overhead. At the end, due to the fact that the performance of a CSeA depends on its grouping structure, the area overheads of different CSeAs including the corrected designs and the best of previous self-checking designs will be evaluated with respect to the same-size and different-size grouping structures. These evaluations show the comparison of different CSeAs, more appropriate compared to the previous evaluations.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 38

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
اطلاعات دوره: 
  • سال: 

    2018
  • دوره: 

    14
تعامل: 
  • بازدید: 

    346
  • دانلود: 

    0
چکیده: 

THANKS TO COMPUTER NETWORKS AND ADVANCEMENTS IN ELECTRONIC SCIENCE, CLOUD COMPUTING NETWORKS WITH OFF-SITE ACCESSIBILITY MAKE IT POSSIBLE FOR USERS TO COMMUNICATE WITH ONE ANOTHER. CLOUD COMPUTING IN RELATION TO YOUR SOFTWARE IS STILL IN ITS INFANCY. WHEN RESOURCES ARE NOT IN USE, THE TOTAL COST OF GOING TO THE CLOUD IS ALMOST ZERO. SO IT'S NO SURPRISE THAT SCIENTIFIC AND INDUSTRY RESEARCH IS MOVING TOWARD CLOUD COMPUTING. WHEN IT COMES TO DISTRIBUTED SYSTEMS AND MULTI-AGENT APPLICATIONS IN CLOUD COMPUTING NETWORKS, SECURITY ISSUES ARE A MUST-HAVE REQUIREMENT. IN ORDER TO AVOID THESE CONCERNS, INTRUSION DETECTION SYSTEMS AS WELL AS A SERIES OF SECURITY FRAMEWORKS HAVE BEEN INTRODUCED. IN THIS RESEARCH, WE TRY TO STUDY THE METHODS PRESENTED INTELLIGENTLY, INTRUSION DETECTION SYSTEMS AND PROPOSED FRAMEWORKS IN THE CLOUD COMPUTING NETWORK.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 346

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0
همکاران: 

مهدی-جلالی

کارفرما: 

جهاد دانشگاهی

اطلاعات : 
  • تاریخ پایان: 

    مهر 1384
تعامل: 
  • بازدید: 

    258
کلیدواژه: 
چکیده: 

قطعه فوق یک قطعه استراتژیک در صنعت حفاری است که دانش فنی آن را جهاد تهیه کرده است. دانش فنی این قطعه شامل مشخصات مکانیکی و متالورژیکی، نقشه فنی و نقشه بازرسی و همچنین اسکوپ بازرسی است.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 258

اطلاعات دوره: 
  • سال: 

    1395
  • دوره: 

    8
  • شماره: 

    1
  • صفحات: 

    3-24
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    739
  • دانلود: 

    0
چکیده: 

متن کامل این مقاله به زبان انگلیسی می باشد. لطفا برای مشاهده متن کامل مقاله به بخش انگلیسی مراجعه فرمایید. لطفا برای مشاهده متن کامل این مقاله اینجا را کلیک کنید.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 739

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسنده: 

MALLAKI ZOHRE | FAYAZ MUKHTAR

اطلاعات دوره: 
  • سال: 

    2016
  • دوره: 

    1
تعامل: 
  • بازدید: 

    124
  • دانلود: 

    0
چکیده: 

FEMINIST IS INCLUDING MOVEMENTS THAT ARE SOCIAL- POLITICAL IN NATURE. THIS MOVEMENT, IN A SENSE, ALWAYS WITH THE HUMAN COMMUNITY, BUT IN PARTICULAR, IN RECENT CENTURIES AND IN ORDER TO REALIZATION OF WOMEN'S RIGHTS AND TO PREVENT MALE- DOMINATED SOCIETY CONTINUATION HAS FOUND NEW DIMENSIONS. ESPECIALLY AFTER THE CONSTITUTIONAL REVOLUTION IN IRAN FROM THE QAJAR PERIOD, WOMEN WERE FAMILIAR WITH THIS MOVEMENT AND AFTER THAT POETS SUCH AS PARVIN E'TESAMI PAY ATTENTION IN HER POEMS FOR FEMALE LITERACY NECESSARY AND TO CHANGE THE CURRENT SITUATION, IN FAVOR OF WOMEN WERE FOUND. AMONG WRITERS, MONIRU RAVANIPOR, WITHOUT ENTERING INTO POLITICAL STRUGGLES, HAS CRITICIZED WOMEN IN TRADITIONAL MALE- DOMINATED SOCIETY IN THEIR WORKS. RAVANIPOUR IN THREE NOVELS AND SEVERAL SHORT STORIES, IS EMPHASIZING THE INJUSTICE THAT HAS BEEN INFLICTED FROM MEN ON WOMEN AND ON THE OTHER HAND, IS KNOWING THE ILLITERACY AND IGNORANCE OF THE OPPRESSION OF WOMEN. SHE BELIEVES THAT WOMEN SHOULD STRIVE TO IMPROVE THEIR KNOWLEDGE AND VALUABLE INSIGHTS, ACTIVE AND EQUAL SHOW.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 124

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0
litScript
telegram sharing button
whatsapp sharing button
linkedin sharing button
twitter sharing button
email sharing button
email sharing button
email sharing button
sharethis sharing button